Розглянуто проблеми створення інтелектуальних інформаційних систем. Висвітлено питання концептуального моделювання і подання знань у таких системах, а також роль формальних математичних методів у даному процесі. Використано математичну логіку та існуючі в її рамках формальні методи. На цій формально-логічній основі з'ясовано базові поняття і розроблено підхід до концептуального моделювання статики і динаміки предметних областей. Стисло подано формальні основи створення ситуаційно-орієнтованих мов концептуального моделювання. Розглянуто шляхи і засоби підвищення інтелектуальності автоматизованих інформаційних систем.

Рассмотрены вопросы концептуального моделирования и представления знаний в автоматизированных информационных системах и роль формальных математических методов в этом процессе. Сформулирован исходный контекст исследования проблематики представления знаний. Рассмотрены пути и способы повышения интеллектуальности АИС.

Міститься опис методів і засобів розробки прикладних комп'ютерних систем (застосувань) для функціонування у розподіленому мережевому середовищі SUN OS на базі UNIX i OS 2.2 Microsoft. Розглянуто принципи взаємодії компонентів розподіленого застосування, розробленого на основі традиційних методів їх проектування та механізму віддаленого виклику, що включає засоби опису і передачі зовнішніх даних у мережевій моделі "клієнт-сервер". Проведено аналіз і описано об'єктно-орієнтований підхід до проектування розподілених застосувань на основі стандартів CORBA та засобів взаємодії об'єктів, що надаються брокером об'єктних запитів загальної архітектури цього стандарту. Наведено приклади, що демонструють різні аспекти інженерії розробки розподілених застосувань на основі цих двох механізмів взаємодії компонентів застосування у мережевому середовищі.

У статті наведені концепція та модель зрілості технологічних процесів (ТП) створення програмного забезпечення (ПЗ) комп'ютерних систем (СММ-модель). Подано стислий огляд існуючих методів застосування цієї моделі, а також описано розроблений авторами статті експрес-метод оцінювання рівня зрілості технологічних процесів організацій-розробників ПЗ з метою вибору виконувачів великих замовлень на розробку ПЗ.

Предлагается подход к повышению эффективности программ обработки в системах обработки данных, базирующийся на редукции обменов с медленной (вторичной) памятью и потоковое распараллеливание этих программ на уровне макрооператоров. Приводятся различные оценки эффективности предлагаемых средств.

Індекс рубрикатора НБУВ: З973-018

Рубрики:

Комп'ютери та програмування

Шифр НБУВ: Ж29114 Пошук видання у каталогах НБУВ 

Представлены работы, посвященные теоретическим вопросам программирования, а также методам и средствам программной инженерии современных прикладных компьютерных систем, в частности, формальным методам программирования, методам извлечения, анализа, спецификации и валидации программных требований, повторного использования и реинженерии. Предложены новые подходы к решению задач концептуального моделирования предметных областей, рассматриваются вопросы проектирования распределенных приложений, инструментальных сред программирования и интеллектуальных информационных систем.

Рассмотрены вопросы эффективной организации вычислительного процесса магистральной обработки дедуктивных запросов при ограничениях на ресурсы системы (прежде всего, оперативной памяти) с точки зрения редукции числа обменов между уровнями памяти. Решены задачи буферизации оперативной памяти. Сформулирован ряд задач дискретной оптимизации и разработаны методы их решения.

Раскрыта сущность основных понятий в области качества программных систем. Рассмотрены процессы жизненного цикла (ЖЦ), связанные с обеспечением качества - процессы валидации, текстирования, измерения, управления риском, обеспечения гарантии качества и его управлением. На основании обобщения материалов (отчетов, публикаций) зарубежных организаций - лидеров в области исследования вопросов инженерии качества - SEI, ISO, IEEE, NIST предложены методы, используемые при выполнении данных процессов. Приведены методологии GQM, FRA, COCOMO II, CMM. Предложен подход к тестированию с учетом риска отказа программного продукта и риска срыва проекта. Рассмотрено тестирование как интегрированный процесс, действующий на всех стадиях ЖЦ программных систем (ПС). Проанализированы особенности расчета трудоемкости и затрат на разработку ПС по одной из самых известных моделей - трехуровневой модели СОСОМО ІІ.

Приведены результаты научных исследований на основе параллельных вычислений и объектно-ориентированного программирования в контексте их алгебраического толкования. Освещена прикладная теория алгоритмов - алгоритмика, являющаяся новым витком в развитии компьютерной науки, восходящим от фундаментальных работ В.М.Глушкова. Осуществлено построение алгебраического аппарата для трактовки его в терминах известных формализмов, предназначенных для описания алгоритмических процессов с помощью структурных и неструктурных схем - надъязыковых моделей классов алгоритмов и программ. Изложены алгоритмические средства для описания высокопроизводительных параллельных вычислений и объектно-ориентированного программирования в мультипроцессорных и распределенных системах. Рассмотрены архитектуры параллельных вычислительных систем, виды и уровни параллельной обработки в них, методы организации и синхронизации параллельных вычислений.

Обоснована парадигма качественных показателей (КП) в программной инженерии. Предложена классификация парадигм и стилей программирования. Раскрыта сущность основных понятий в области КП, в частности, инфраструктуры разработки, инженерии процессов разработки, интеграции процессов жизненного цикла. Рассмотрены процессы жизненного цикла, связанные с обеспечением качественных показателей, в частности, верификации, валидации, тестирования, измерения, управления риском, обеспечения гарантии КП, управления КП. Приведены методы, используемые при выполнении данных процессов. Освещены методологии GQM, FPA, COCOMO II, CMM. Изложены вопросы тестирования программных систем, сертификации систем менеджмента КП.

Даны введение и краткий обзор перспективного класса моделей - вероятностных моделей зависимостей на основании ациклических ориентированных графов (АОГ), прежде всего - байесовских сетей (БС). Приведены характеристика выразительных и познавательных возможностей АОГ-моделей, их способности отображать причинно-следственные связи. В сопоставлении с другими подходами к выводу знаний и идентификации моделей показаны роль и место БС как инструмента анализа и обобщения эмпирических данных, связь с логикой и проблемой индукции.

Описаны базовые концепции и архитектура Semantic Web, а также положение дел по разработке данного проекта по состоянию на конец 2007 г. Выделены проблемы, которые стоят перед мировым сообществом для дальнейшего развития Semantic Web.

Наведено основні результати стандартизації інженерії систем і програмних засобів в Україні та обгрунтовано напрямки національної стандартизації у цій сфері. Розглянуто всі чинні національні стандарти з програмної інженерії.

Запропоновано розвиток формальних методів проектування, заснований на концепціях алгебричного програмування і алгебро-динамічних моделей програм з використанням техніки переписувальних правил, для автоматизованої розробки ефективних програм для графічних прискорювачів. Розроблені формальні засоби проілюстровано на конкретних задачах, що демонструють високу ефективність перетворень.

Предложено развитие алгеброалгоритмической методологии и инструментария для автоматизированного проектирования и генерации программ для графических ускорителей. Особенностью предложенного подхода является использование языковых конструкций, близких к естественному языку, а также применение метода, который обеспечивает синтаксическую правильность проектируемых алгоритмов и программ. Подход реализован в инструментальной системе, предназначенной для диалогового конструирования схем алгоритмов и генерации программ. Применение инструментария проиллюстрировано на примере разработки параллельной программы из области метеорологии.

Дан краткий обзор функциональных возможностей Научной электронной библиотеки периодических изданий НАН Украины, созданной в Институте программных систем НАН Украины при выполнении одного из заданий Программы информатизации НАН Украины, а также статистика ее использования. Электронная библиотека установлена в Национальной библиотеке Украины им. В. И. Вернадского, поддерживается и сопровождается Институтом программных систем НАН Украины. Статистика приводится по состоянию на январь 2017 года.

Обсуждены общие задачи проблемы интеграции данных, а также онтолого-ориентированная интеграция данных в семантическом вебе. Показана важность установления отображений между онтологиями и реляционными базами данных, дан краткий аналитический обзор исследований по этой теме. Определена бинарная реляционная модель данных и описано отображение дескриптивной логики ALC и ее расширений в данную модель.